direntry_dircategory.texi:23: warning: @dircategory after first node
direntry_dircategory.texi:24: warning: @direntry after first node
